Mary Lou Soffa: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Complete removal of redundant expressions

Bodík, Rastislav, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 2.48 MB

english, 2004

2

[IEEE 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Västerås, Sweden (2018.4.9-2018.4.13)] 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST) - Testing Cloud Applications under Cloud-Uncertainty Performance Effects

Wang, Wei, Tian, Ningjing, Huang, Sunzhou, He, Sen, Srivastava, Abhijeet, Soffa, Mary Lou, Pollock, Lori

Year:

2018

Language:

english

File:

PDF, 285 KB

english, 2018

3

Memory optimization of dynamic binary translators for embedded systems

Guha, Apala, Hazelwood, Kim, Soffa, Mary Lou

Journal:

ACM Transactions on Architecture and Code Optimization

Year:

2012

Language:

english

File:

PDF, 1.16 MB

english, 2012

4

Compilation techniques for a reconfigurable LIW architecture

Rajiv Gupta, Mary Lou Soffa

Journal:

The Journal of Supercomputing

Year:

1989

Language:

english

File:

PDF, 1.71 MB

english, 1989

5

The impact of software engineering research on modern progamming languages

Ryder, Barbara G., Soffa, Mary Lou, Burnett, Margaret

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2005

Language:

english

File:

PDF, 3.03 MB

english, 2005

6

[ACM Press the 12th ACM SIGACT-SIGPLAN symposium - New Orleans, Louisiana, United States (1985.01.14-1985.01.16)] Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 - Incremental compilation of optimized code

Pollock, Lori L., Soffa, Mary Lou

Year:

1985

Language:

english

File:

PDF, 1.50 MB

english, 1985

7

Complete removal of redundant expressions

Bodík, Rastislav, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGPLAN Notices

Year:

1998

Language:

english

File:

PDF, 2.03 MB

english, 1998

8

Program Slicing-Based Regression Testing Techniques

RAJIV GUPTA, MARY JEAN HARROLD, MARY LOU SOFFA

Journal:

Software Testing, Verification and Reliability

Year:

1996

Language:

english

File:

PDF, 1.63 MB

english, 1996

9

Control discipline necessity: Making the language as general as the implementation

Journal:

BIT Numerical Mathematics

Year:

1982

Language:

english

File:

PDF, 759 KB

english, 1982

10

[IEEE 2018 IEEE Security and Privacy Workshops (SPW) - San Francisco, CA, USA (2018.5.24-2018.5.24)] 2018 IEEE Security and Privacy Workshops (SPW) - Black-Box Generation of Adversarial Text Sequences to Evade Deep Learning Classifiers

Gao, Ji, Lanchantin, Jack, Soffa, Mary Lou, Qi, Yanjun

Year:

2018

Language:

english

File:

PDF, 884 KB

english, 2018

11

[IEEE 2007 IEEE International Parallel and Distributed Processing Symposium - Long Beach, CA, USA (2007.03.26-2007.03.30)] 2007 IEEE International Parallel and Distributed Processing Symposium - Virtual Execution Environments: Support and Tools

Guha, Apala, Hiser, Jason D., Kumar, Naveen, Yang, Jing, Zhao, Min, Zhou, Shukang, Childers, Bruce R., Davidson, Jack W., Hazelwood, Kim, Soffa, Mary Lou

Year:

2007

Language:

english

File:

PDF, 218 KB

english, 2007

12

[ACM Press the 6th ACM SIGSOFT international symposium - Lake Buena Vista, Florida, United States (1998.11.01-1998.11.05)] Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering - SIGSOFT '98/FSE-6 - Automated test data generation using an iterative relaxation method

Gupta, Neelam, Mathur, Aditya P., Soffa, Mary Lou

Year:

1998

Language:

english

File:

PDF, 1.41 MB

english, 1998

13

Interprocedural conditional branch elimination

Bodík, Rastislav, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGPLAN Notices

Year:

1997

Language:

english

File:

PDF, 1.93 MB

english, 1997

14

[ACM Press the 22nd ACM SIGPLAN-SIGACT symposium - San Francisco, California, United States (1995.01.23-1995.01.25)] Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '95 - Demand-driven computation of interprocedural data flow

Duesterwald, Evelyn, Gupta, Rajiv, Soffa, Mary Lou

Year:

1995

Language:

english

File:

PDF, 1.35 MB

english, 1995

15

[ACM Press the 1st conference - Hyderabad, India (2008.02.19-2008.02.22)] Proceedings of the 1st conference on India software engineering conference - ISEC '08 - Database-aware test coverage monitoring

Kapfhammer, Gregory M., Soffa, Mary Lou

Year:

2008

Language:

english

File:

PDF, 500 KB

english, 2008

16

[IEEE 1993 International Conference on Parallel Processing - ICPP'93 Vol2 - Syracuse, NY, USA (1993.08.16-1993.08.20)] 1993 International Conference on Parallel Processing - ICPP'93 Vol2 - Investigating Properties of Code Transformations

Whitfield, Deborah, Soffa, Mary Lou

Year:

1993

Language:

english

File:

PDF, 971 KB

english, 1993

17

An optimistic implementation of the stack-heap

Jean R.Stephenson Blair, Phil Kearns, Mary Lou Soffa

Journal:

Journal of Systems and Software

Year:

1985

Language:

english

File:

PDF, 1.15 MB

english, 1985

18

Automated test data generation using an iterative relaxation method

Gupta, Neelam, Mathur, Aditya P., Soffa, Mary Lou

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1998

Language:

english

File:

PDF, 1.41 MB

english, 1998

19

Compile-time techniques for efficient utilization of parallel memories

Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGPLAN Notices

Year:

1988

Language:

english

File:

PDF, 1.16 MB

english, 1988

20

[ACM Press Papers from the 1995 ACM SIGPLAN workshop - San Francisco, California, United States (1995.01.23-1995.01.25)] Papers from the 1995 ACM SIGPLAN workshop on Intermediate representations - - GURRR

Berson, David A., Gupta, Rajiv, Soffa, Mary Lou

Year:

1995

Language:

english

File:

PDF, 331 KB

english, 1995

21

Debugging parallelized code using code liberation techniques

Pineo, Patricia Prather, Soffa, Mary Lou

Journal:

ACM SIGPLAN Notices

Year:

1991

Language:

english

File:

PDF, 1.02 MB

english, 1991

22

[ACM Press the ACM SIGPLAN 1997 conference - Las Vegas, Nevada, United States (1997.06.16-1997.06.18)] Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation - PLDI '97 - Interprocedural conditional branch elimination

Bodík, Rastislav, Gupta, Rajiv, Soffa, Mary Lou

Year:

1997

Language:

english

File:

PDF, 1.93 MB

english, 1997

23

GURRR

Berson, David A., Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGPLAN Notices

Year:

1995

Language:

english

File:

PDF, 331 KB

english, 1995

24

[ACM Press the 44th Annual IEEE/ACM International Symposium - Porto Alegre, Brazil (2011.12.03-2011.12.07)] Proceedings of the 44th Annual IEEE/ACM International Symposium on Microarchitecture - MICRO-44 '11 - Bubble-Up

Mars, Jason, Tang, Lingjia, Hundt, Robert, Skadron, Kevin, Soffa, Mary Lou

Year:

2011

Language:

english

File:

PDF, 405 KB

english, 2011

25

[ACM Press the 3rd ACM SIGSOFT symposium - Washington, D.C., United States (1995.10.12-1995.10.15)] Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering - SIGSOFT '95 - Hybrid slicing

Gupta, Rajiv, Soffa, Mary Lou

Year:

1995

Language:

english

File:

PDF, 1.08 MB

english, 1995

26

Hybrid slicing

Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1995

Language:

english

File:

PDF, 1.08 MB

english, 1995

27

A family of test adequacy criteria for database-driven applications

Kapfhammer, Gregory M., Soffa, Mary Lou

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 258 KB

english, 2003

28

Debugging and Testing Optimizers through Comparison Checking

Clara Jaramillo, Rajiv Gupta, Mary Lou Soffa

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 305 KB

english, 2002

29

[ACM Press the symposium - Victoria, British Columbia, Canada (1991.10.08-1991.10.10)] Proceedings of the symposium on Testing, analysis, and verification - TAV4 - Concurrency analysis in the presence of procedures using a data-flow framework

Duesterwald, Evelyn, Soffa, Mary Lou

Year:

1991

Language:

english

File:

PDF, 1.02 MB

english, 1991

30

[ACM Press the 2011 International Symposium - Toronto, Ontario, Canada (2011.07.17-2011.07.21)] Proceedings of the 2011 International Symposium on Software Testing and Analysis - ISSTA '11 - Generating analyses for detecting faults in path segments

Le, Wei, Soffa, Mary Lou

Year:

2011

Language:

english

File:

PDF, 325 KB

english, 2011

31

[ACM Press the 1st ACM international workshop - Atlanta, Georgia (2007.11.05-2007.11.05)] Proceedings of the 1st ACM international workshop on Empirical assessment of software engineering languages and technologies held in conjunction with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE) 2007 - WEASELTech '07 - Efficient time-aware prioritization with knapsack solvers

Alspaugh, Sara, Walcott, Kristen R., Belanich, Michael, Kapfhammer, Gregory M., Soffa, Mary Lou

Year:

2007

Language:

english

File:

PDF, 417 KB

english, 2007

32

[ACM Press the 8th ACM SIGPLAN/SIGOPS conference - London, England, UK (2012.03.03-2012.03.04)] Proceedings of the 8th ACM SIGPLAN/SIGOPS conference on Virtual Execution Environments - VEE '12 - REEact

Wang, Wei, Dey, Tanima, Moore, Ryan W., Aktasoglu, Mahmut, Childers, Bruce R., Davidson, Jack W., Irwin, Mary Jane, Kandemir, Mahmut, Soffa, Mary Lou

Year:

2012

Language:

english

File:

PDF, 685 KB

english, 2012

33

Automated test oracles for GUIs

Memon, Atif M., Pollack, Martha E., Soffa, Mary Lou

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 1.23 MB

english, 2000

34

Marple

Le, Wei, Soffa, Mary Lou

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2013

Language:

english

File:

PDF, 914 KB

english, 2013

35

[ACM Press the 5th international conference - Sydney, Australia (2007.11.06-2007.11.09)] Proceedings of the 5th international conference on Embedded networked sensor systems - SenSys '07 - Effective source-level debugging of wireless sensor networks

Yang, Jing, Soffa, Mary Lou, Whitehouse, Kamin

Year:

2007

Language:

english

File:

PDF, 99 KB

english, 2007

36

[ACM Press Proceeding of the 38th annual international symposium - San Jose, California, USA (2011.06.04-2011.06.08)] Proceeding of the 38th annual international symposium on Computer architecture - ISCA '11 - The impact of memory subsystem resource sharing on datacenter applications

Tang, Lingjia, Mars, Jason, Vachharajani, Neil, Hundt, Robert, Soffa, Mary Lou

Year:

2011

Language:

english

File:

PDF, 347 KB

english, 2011

37

Referencing and Retention in Block-Structured Coroutines

Lindstrom, Gary, Soffa, Mary Lou

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1981

Language:

english

File:

PDF, 1.54 MB

english, 1981

38

[ACM Press the 6th ACM SIGPLAN/SIGOPS international conference - Pittsburgh, Pennsylvania, USA (2010.03.17-2010.03.19)] Proceedings of the 6th ACM SIGPLAN/SIGOPS international conference on Virtual execution environments - VEE '10 - DBT path selection for holistic memory efficiency and performance

Guha, Apala, hazelwood, Kim, Soffa, Mary Lou

Year:

2010

Language:

english

File:

PDF, 409 KB

english, 2010

39

Coverage criteria for GUI testing

Memon, Atif M., Soffa, Mary Lou, Pollack, Martha E.

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2001

Language:

english

File:

PDF, 1.41 MB

english, 2001

40

[ACM Press the ACM SIGPLAN 1993 conference - Albuquerque, New Mexico, United States (1993.06.21-1993.06.25)] Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation - PLDI '93 - A practical data flow framework for array reference analysis and its use in optimizations

Duesterwald, Evelyn, Gupta, Rajiv, Soffa, Mary Lou

Year:

1993

Language:

english

File:

PDF, 1.25 MB

english, 1993

41

Value prediction in VLIW machines

Nakra, Tarun, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGARCH Computer Architecture News

Year:

1999

Language:

english

File:

PDF, 221 KB

english, 1999

42

[ACM Press Proceeding of the 2nd workshop - Waikiki, Honolulu, HI, USA (2011.05.22-2011.05.22)] Proceeding of the 2nd workshop on Software engineering for sensor network applications - SESENA '11 - Lazy preemption to enable path-based analysis of interrupt-driven code

Le, Wei, Yang, Jing, Soffa, Mary Lou, Whitehouse, Kamin

Year:

2011

Language:

english

File:

PDF, 255 KB

english, 2011

43

[ACM Press The 6th ACM SIGPLAN-SIGSOFT workshop - Lisbon, Portugal (2005.09.05-2005.09.06)] The 6th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '05 - Low overhead program monitoring and profiling

Kumar, Naveen, Childers, Bruce R., Soffa, Mary Lou

Year:

2005

Language:

english

File:

PDF, 145 KB

english, 2005

44

[ACM Press the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium - Helsinki, Finland (2003.09.01-2003.09.05)] Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03 - A family of test adequacy criteria for database-driven applications

Kapfhammer, Gregory M., Soffa, Mary Lou

Year:

2003

Language:

english

File:

PDF, 258 KB

english, 2003

45

Efficient computation of interprocedural definition-use chains

Harrold, Mary Jean, Soffa, Mary Lou

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1994

Language:

english

File:

PDF, 1.90 MB

english, 1994

46

A shape matching approach for scheduling fine-grained parallelism

Malloy, Brian, Gupta, Rajiv, Soffa, Mary Lou

Journal:

ACM SIGMICRO Newsletter

Year:

1992

Language:

english

File:

PDF, 503 KB

english, 1992

47

[ACM Press the 2012 International Symposium - Minneapolis, MN, USA (2012.07.15-2012.07.20)] Proceedings of the 2012 International Symposium on Software Testing and Analysis - ISSTA 2012 - THeME: a system for testing by hardware monitoring events

Walcott-Justice, Kristen, Mars, Jason, Soffa, Mary Lou

Year:

2012

Language:

english

File:

PDF, 1.14 MB

english, 2012

48

[ACM Press Proceeding of the 33rd international conference - Waikiki, Honolulu, HI, USA (2011.05.21-2011.05.28)] Proceeding of the 33rd international conference on Software engineering - ICSE '11 - Exploiting hardware advances for software testing and debugging

Soffa, Mary Lou, Walcott, Kristen R., Mars, Jason

Year:

2011

Language:

english

File:

PDF, 260 KB

english, 2011

49

[ACM Press the ACM/SIGPLAN conference - New Haven, Connecticut, United States (1988.07.19-1988.07.21)] Proceedings of the ACM/SIGPLAN conference on Parallel programming: experience with applications, languages and systems - PPEALS '88 - Compile-time techniques for efficient utilization of parallel memories

Gupta, Rajiv, Soffa, Mary Lou

Year:

1988

Language:

english

File:

PDF, 1.16 MB

english, 1988

50

The contraction of control implementations

Lawrence A. Coon, John P. Kearns, Mary Lou Soffa

Journal:

Computer Languages

Year:

1983

Language:

english

File:

PDF, 834 KB

english, 1983

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски